In mathematics, the binomial series is the Taylor series at x = 0 of the function f given by f(x) = (1 + x) α, where α ∈ C is an arbitrary complex number. Explicitly,
and the binomial series is the power series on the right hand side of (1), expressed in terms of the (generalized) binomial coefficients
Contents |
If α is a nonnegative integer n, then the (n + 1)th term and all later terms in the series are 0, since each contains a factor (n − n); thus in this case the series is finite and gives the algebraic binomial formula.
The following variant holds for arbitrary complex β, but is especially useful for handling negative integer exponents in (1):
To prove it, substitute x = −z in (1) and apply a binomial coefficient identity.
Whether (1) converges depends on the values of the complex numbers α and x. More precisely:
The following hold for any complex number α:
Unless α is a nonnegative integer (in which case the binomial coefficients vanish as k is larger than α), a useful asymptotic relationship for the binomial coefficients is, in Landau notation:
This is essentially equivalent to Euler's definition of the Gamma function:
and implies immediately the coarser bounds
for some positive constants m and M , which are in fact sufficient for our needs. The simpler bounds (5) may also be obtained by means of elementary inequalities (see the addendum below for the latter inequality).
To prove (i) and (v), apply the ratio test and use formula (2) above to show that whenever α is not a nonnegative integer, the radius of convergence is exactly 1. Part (ii) follows from formula (4), by comparison with the p-series
with p = 1 + Re(α). To prove (iii), first use formula (3) to obtain
and then use (ii) and formula (4) again to prove convergence of the right-hand side when Re(α) > −1 is assumed. On the other hand, the series does not converge if |x| = 1 and Re(α) ≤ −1, because in that case, for all k,
completing the proof of (iii). Also, the identity above, for x=-1 and with α+1 in place of α writes
whence (iv) follows using (4) again.
The usual argument to compute the sum of the binomial series goes as follows. Differentiating term-wise the binomial series within the convergence disk |x| < 1 and using formula (1), one has that the sum of the series is an analytic function solving the ordinary differential equation (1 + x)u'(x) = α u(x) with initial data u(0) = 1. The unique solution of this problem is the function u(x) = (1 + x)α, which is therefore the sum of the binomial series, at least for |x| < 1. The equality extends to |x| = 1 whenever the series converges, as a consequence of Abel's theorem and by continuity of (1 + x)α.
The first results concerning binomial series for other than positive-integer exponents were given by Sir Isaac Newton in the study of areas enclosed under certain curves. Extending work by John Wallis who calculated such areas for y = (1 − x2)n with n = 0, 1, 2, 3, ... he considered fractional exponents. He found for such exponent m that (in modern formulation) the successive coefficients ck of (−x2)k are to be found by multiplying the preceding coefficient by (as in the case of integer exponents), thereby implicitly giving a formula for these coefficients. He explicitly writes the following instances[1]
The binomial series is therefore sometimes referred to as Newton's binomial theorem. Newton gives no proof and is not explicit about the nature of the series; most likely he verified instances treating the series as (again in modern terminology) formal power series. Later, Niels Henrik Abel treated the subject in a memoir, treating notably questions of convergence.
In order to keep the whole discussion within elementary methods, one may derive the asymptotics (5) proving the inequality
with
as follows. By the inequality of arithmetic and geometric means
Using the expansion
the latter arithmetic mean writes
To estimate its kth power we then use the inequality
that holds true for any real number r as soon as 1 + r/k ≥ 0. Moreover, we have elementary bounds for the sums:
Thus,
with
proving the claim.